Философский энциклопедический словарь - логический синтаксис
Связанные словари
Логический синтаксис
логический синтаксис
1) система правил, определяющих построение и преобразование выражений нек-рого исчисления; 2) раздел металогики, изучающий структуру и свойства неинтерпретированных исчислений. Осн. вопросами, встающими при синтаксическом рассмотрении логических исчислений, являются проблемы непротиворечивости (Непротиворечивость аксиоматической теории), полноты (Полнота аксиоматической теории), независимости (Независимость системы аксиом), разрешения (Разрешения проблема), доказуемости. Проблема доказуемости состоит в нахождении алгоритма, к-рый для любого доказуемого (т. е. выводимого из аксиом) высказывания строит его доказательство. Т. обр., Л. с. включает в себя теорию доказательства. Понятие Л. с. было введено Витгенштейном в 1919. Систематическое изложение проблем и понятий Л. с. дал Карнап в “Логическом синтаксисе языка” (1934), где, в частности, показана плодотворность синтаксического исследования языков, формализующих те или иные разделы естественных наук (Формализованный язык)
Рейтинг статьи:
См. в других словарях
1.
раздел семиотики, исследующий формальные свойства знаковых систем. Семиотику принято разделять на три части: синтаксис, семантику и прагматику. Синтаксис исследует формальные отношения между знаками. Семантика занимается изучением отношений языка и его выражений к обозначенным объектам и выражаемому ими значению. Прагматика обращает внимание на употребление языковых выражений, на отношения языка к его носителям. Л. с. отличается тем, что исследует синтаксические свойства не естественных, а формальных, логических языков, поэтому его относят обычно не к семиотике, а к металогике. С точки зрения синтаксиса, формальная система представляет собой набор исходных символов, из которых по определенным правилам могут быть построены разнообразные формулы, из которых выделяется класс правильно построенных формул. Правила построения формул называются правилами образования. К ним добавляются правила преобразования: аксиомы и правила получения одних формул из других. Правила образования и преобразования формул относятся к числу синтаксических правил. Синтаксические свойства формальных систем выражаются в таких...Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2505 | |
2 | 2322 | |
3 | 1991 | |
4 | 1976 | |
5 | 1926 | |
6 | 1830 | |
7 | 1724 | |
8 | 1660 | |
9 | 1641 | |
10 | 1506 | |
11 | 1426 | |
12 | 1388 | |
13 | 1382 | |
14 | 1379 | |
15 | 1251 | |
16 | 1072 | |
17 | 1063 | |
18 | 1060 | |
19 | 1036 | |
20 | 963 |